fix gtk-doc syntax on GtkWidget:double-buffered, so Since gets picked up

diff --git a/gtk/gtkwidget.c b/gtk/gtkwidget.c
index cf34d64f7477453383185c1986b5cc9db05e6f0a..00bb74877f1434a03d42c6041987fe1b8208e043 100644 (file)
--- a/gtk/gtkwidget.c
+++ b/gtk/gtkwidget.c
@@ -694,7 +694,7 @@ gtk_widget_class_init (GtkWidgetClass *klass)
                                                        GTK_PARAM_READABLE));
 
   /**
-   * GtkWidget::double-buffered
+   * GtkWidget:double-buffered
    *
    * Whether or not the widget is double buffered.
    *